Formal Humor Logic Beyond Second-Most Plausible Reasoning
نویسنده
چکیده
Humor employs an essential false logic which masks the incongruity of two central meanings that are brought into overlap. Formalizing this false logic—if it exists, exists intersubjectively, and is indeed essential for humor—to a degree that is sufficient for computational detection and generation of humor has been a vexing problem for computational humor research. This paper will outline several such logics, in addition to the default of reasoning in a way that is one degree more implausibly than the most common-sense logic that can connect two meanings. The results are not least influenced by a pilot study asking participants to explain different types of jokes.
منابع مشابه
Deontic Modals: Why Abandon the Default Approach
John Horty has proposed an approach to reasoning with oughtpropositions which stands in contrast to the standard modal approach to deontic logic. Horty’s approach is based on default theories as known from the framework of Default Logic. It is argued that the approach cannot be extended beyond the most simple kinds of default theories and that it fails in particular to account for conditional o...
متن کاملPrinciples and Examples of Plausible Reasoning and Propositional Plausible Logic
Plausible reasoning concerns situations whose inherent lack of precision is not quantified; that is, there are no degrees or levels of precision, and hence no use of numbers like probabilities. A hopefully comprehensive set of principles that clarifies what it means for a formal logic to do plausible reasoning is presented. A new propositional logic, called Propositional Plausible Logic (PPL), ...
متن کاملDefault Reasoning, Nonmonotonic Logics, and the Frame Problem
Nonmonotonic formal systems have been proposed as an extension to classical first-order logic that will capture the process of human “default reasoning” or “plausible inference” through their inference mechanisms just as modus ponena provides a model for deductive reasoning. But although the technical properties of these logics have been studied in detail and many examples of human default reas...
متن کاملDefault geasoning, Nonmonotonic Logics, and the Frame Problem
Nonmonotonic formal systems have been proposed as an extension to classical first-order logic that will capture the process of human “default reasoning” or “plausible inference” through their inference mechanisms just as modus ponena provides a model for deductive reasoning. But although the technical properties of these logics have been studied in detail and many examples of human default reas...
متن کاملRelations between assumption-based approaches in nonmonotonic logic and formal argumentation
In this paper we make a contribution to the unification of formal models of defeasible reasoning. We present several translations between formal argumentation frameworks and nonmonotonic logics for reasoning with plausible assumptions. More specifically, we translate adaptive logics into assumption-based argumentation and ASPIC, ASPIC into assumption-based argumentation and a fragment of assump...
متن کامل